2. Algebras and Orders
پدیدآورنده : edited by Ivo G. Rosenberg, Gert Sabidussi.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Algebra.,Computational complexity.,Mathematics.
رده :
QA251
.
E358
1993
3. Automata and computability /
پدیدآورنده : Dexter C. Kozen.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computable functions.,Machine theory.,Abstracte automaten.,Automatentheorie.,Automates mathématiques, Théorie des.,Berechenbarkeit,Berekenbaarheid.,Complexité de calcul (informatique),Computable functions.,Endlicher Automat,Fundamentele informatica.,Kellerautomat,Kontextfreie Grammatik,Machine theory.,Machines séquentielles, Théorie des.,Reguläre Menge,Turing, Machines de.,Turing-Maschine
رده :
QA267
.
K69
1997eb
4. Automated Deduction -- CADE-12 :
پدیدآورنده : edited by Alan Bundy.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence.,Computer science.,Logic, Symbolic and mathematical.
5. Commutative Algebra, Singularities and Computer Algebra :
پدیدآورنده : edited by Jürgen Herzog, Victor Vuletescu.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Algebra -- Data processing -- Congresses.,Commutative algebra -- Congresses.,Singularities (Mathematics) -- Congresses.
6. Design and Analysis of Algorithms :
پدیدآورنده : Sandeep Sen, Indian Institute of Technology, Delhi, Amit Kumar, Indian Institute of Technology, Delhi
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Algebra.,Algorithms.,Computer science.,Geometry.,Logic.,Mathematics.,Algebra.,Algorithms.,Computer science.,Geometry.,Logic.,Mathematics.
رده :
QA9
.
58
.
S454
2019
7. Don Pigozzi on abstract algebraic logic, universal algebra, and computer science /
پدیدآورنده : Janusz Czelakowski, editor.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Pigozzi, Don,1935-,Algebra, Universal.,Algebraic logic.,Computer science.,Mathematicians-- United States.,Algebra, Universal.,Algebraic logic.,Computer science.,Mathematicians.,MATHEMATICS-- Essays.,MATHEMATICS-- Pre-Calculus.,MATHEMATICS-- Reference.,United States., 7
رده :
QA29
.
P54
8. Handbook of geometric constraint systems principles /
پدیدآورنده : [edited by] Meera Sitharam, Audrey St. John, Jessica Sidman.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Geometry, Algebraic.,Geometry.,Rigidity (Geometry),Structural design-- Mathematics.,Geometry, Algebraic.,Geometry.,MATHEMATICS-- Geometry-- General.,Rigidity (Geometry)
رده :
QA640
.
77
.
H36
2019eb
9. Introduction to discrete mathematics via logic and proof /
پدیدآورنده : Calvin Jongsma.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Discrete mathematics.,Discrete mathematics.
رده :
QA297
.
4
10. Iteration Theories :
پدیدآورنده : by Stephen L. Bloom, Zoltán Ésik.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.,Logic design.,Logic, Symbolic and mathematical.
رده :
QA76
.
9
.
M35
B978
1993
11. Lukasiewicz-Moisil algebras /
پدیدآورنده : V. Boicescu [and others].
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Łukasiewicz algebras.,Łukasiewicz, Algèbres de.,Łukasiewicz algebras.,Lukasiewicz, algèbres de.,MATHEMATICS-- Algebra-- Intermediate.
رده :
QA10
.
L85
1991eb
12. The Combinatory Programme
پدیدآورنده : by Erwin Engeler.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Combinatorial analysis.,Computer science -- Mathematics.,Computer science.
رده :
QA9
.
5
B947
1995
13. The Logic of Partial Information
پدیدآورنده : by Areski Nait Abdallah.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer algorithms.,Computer science.,Programming languages (Electronic computers) -- Semantics.
رده :
QA76
.
7
B937
1995
14. Universal Algebra and Applications in Theoretical Computer Science
پدیدآورنده : / Klaus Denecke, Shelly L. Wismath
کتابخانه: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
موضوع : Algebra, Universal.,Computer Science _ Mathematics.
رده :
QA251
.
D
385
15. Universal algebra and applications in theoretical computer science
پدیدآورنده : Denecke, Klaus
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Algebra, Universal,، Computer science-- Mathematics
رده :
QA
251
.
D385
2002
16. Universal algebra and applications in theoretical computer science
پدیدآورنده : Denecke, Klaus
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : ، Algebra, Universal,Mathematics ، Computer science
رده :
QA
251
.
D385
2002
17. Universal algebra and applications in theoretical computer science
پدیدآورنده : Denecke, Klaus
کتابخانه: Central Library and Documentation Center (Semnan)
موضوع : ، Algebra, Universal,، Computer scienc--Mathematics
رده :
QA
251
.
D34U56
2002
18. Universal algebra and applications in theoretical computer science
پدیدآورنده : klaus Denecke, Shelly l. Wismath
موضوع : Algebra, Universal,Computer science - mathematics
۳ نسخه از این کتاب در ۳ کتابخانه موجود است.
19. Universal algebra and applications in theoretical computer science
پدیدآورنده : Denecke, Klaus
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Algebra, Universal,، Computer science -- Mathematics
رده :
QA
251
.
D44U54
